Bifurcation Sets of Definable Functions in O-minimal Structures
نویسنده
چکیده
In this work we answer a question stated by Loi and Zaharia concerning trivialization of definable functions off the bifurcation set: we prove that definable functions are trivial off the bifurcation set, and the trivialization can be chosen definable.
منابع مشابه
Topological properties of sets definable in weakly o-minimal structures
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an a...
متن کاملOn the strong cell decomposition property for weakly o-minimal structures
We consider a class of weakly o-minimal structures admitting an o-minimal style cell decomposition, for which one can construct certain canonical o-minimal extension. The paper contains several fundamental facts concerning the structures in question. Among other things, it is proved that the strong cell decomposition property is preserved under elementary equivalences. We also investigate fiber...
متن کاملTopological properties of sets definable in weakly o-minimal structures1
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an a...
متن کاملTame topology over dp-minimal structures
In this paper we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multi-valued f...
متن کاملSmooth Approximation in O-minimal Structures
Fix an o-minimal expansion of the real exponential field that possesses smooth cell decomposition. We prove smooth approximation of definable differentiable functions with respect to a topology closely related to the Whitney topology. As a consequence we obtain a strong version of definable smooth separation of sets, which we use to prove that definable smooth manifolds are definably affine.
متن کامل